$\forall$$A$:MsgA.  $\Vert\!+$ $A$